"A Little Taste of Dependent Types" by David Christiansen Strange Loop Conference 38:36 6 years ago 40 196 Далее Скачать
"Dependent Types in Haskell" by Stephanie Weirich Strange Loop Conference 38:42 7 years ago 23 117 Далее Скачать
Dependent Types with David Christiansen – Functional Futures Serokell 2:03:05 2 years ago 6 092 Далее Скачать
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna Strange Loop Conference 40:56 10 years ago 28 972 Далее Скачать
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013) Strange Loop Conference 40:14 3 years ago 3 336 Далее Скачать
ABC of Biology #12thbiology #10thbiology #10thscience #biology #education #science Raman Dhiman 0:57 2 days ago 137 Далее Скачать
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference 35:08 6 years ago 13 154 Далее Скачать
Idris: General Purpose Programming with Dependent Types London Haskell 1:19:05 10 years ago 11 538 Далее Скачать
What are dependent types? aka the Calculus of Construction (as a type wizard) Eduardo Rafael 29:10 1 year ago 4 304 Далее Скачать
Dependent Types - salvation or plague | Lambda Days 2021 Code Sync 1:01:05 3 years ago 6 002 Далее Скачать
A Little Taste of Dependent Types (David Thrane Christiansen) flatMap (Oslo) 37:27 6 years ago 2 136 Далее Скачать
